Nadia

Results: 845



#Item
101costools Documentation ReleaseAugWarren Hack, Nadia Dencheva, Chris Sontag, Megan Sosey, Micha June 06, 2016

costools Documentation ReleaseAugWarren Hack, Nadia Dencheva, Chris Sontag, Megan Sosey, Micha June 06, 2016

Add to Reading List

Source URL: ssb.stsci.edu

Language: English - Date: 2016-06-17 02:36:23
    102Verifying implementations of security protocols by refinement Nadia Polikarpova1 and Michał Moskal2 1 Chair of Software Engineering, ETH Zurich, Switzerland

    Verifying implementations of security protocols by refinement Nadia Polikarpova1 and Michał Moskal2 1 Chair of Software Engineering, ETH Zurich, Switzerland

    Add to Reading List

    Source URL: people.csail.mit.edu

    Language: English - Date: 2016-01-20 16:21:29
      103Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable

      Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable

      Add to Reading List

      Source URL: people.csail.mit.edu

      Language: English - Date: 2016-01-20 16:21:29
        104A Fully Verified Container Library Nadia Polikarpova1? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA

        A Fully Verified Container Library Nadia Polikarpova1? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA

        Add to Reading List

        Source URL: people.csail.mit.edu

        Language: English - Date: 2016-01-20 16:21:24
          105A Systematic Analysis of the Juniper Dual EC Incident Stephen Checkoway*, Shaanan Cohney** , Christina Garman† Matthew Green†, Nadia Heninger** , ††

          A Systematic Analysis of the Juniper Dual EC Incident Stephen Checkoway*, Shaanan Cohney** , Christina Garman† Matthew Green†, Nadia Heninger** , ††

          Add to Reading List

          Source URL: eprint.iacr.org

          Language: English - Date: 2016-04-14 04:25:54
            106Model-based fingerprint image quality analysis Sung Hee Park, Nádia Kozievitch, Edward A. Fox, Michael Hsiao, Lynn Abott, Nathan Short, Supratik Misra Introduction:

            Model-based fingerprint image quality analysis Sung Hee Park, Nádia Kozievitch, Edward A. Fox, Michael Hsiao, Lynn Abott, Nathan Short, Supratik Misra Introduction:

            Add to Reading List

            Source URL: people.cs.vt.edu

            Language: English
              107Address of German Chargé D’Affaires a.i., Nadia Lichtenberger, at the Launch of the EU-UNICEF Child Rights Toolkit in Armenia and the expert training on Integrating Child Rights in Development 29 February 2016 Excelle

              Address of German Chargé D’Affaires a.i., Nadia Lichtenberger, at the Launch of the EU-UNICEF Child Rights Toolkit in Armenia and the expert training on Integrating Child Rights in Development 29 February 2016 Excelle

              Add to Reading List

              Source URL: www.eriwan.diplo.de

              Language: English - Date: 2016-03-02 02:54:09
                108percorsi Il colore del calore: Macedonio Melloni e l’infrarosso EMANUELA COLOMBI1, MATTEO LEONE2,3, NADIA ROBOTTI4,3

                percorsi Il colore del calore: Macedonio Melloni e l’infrarosso EMANUELA COLOMBI1, MATTEO LEONE2,3, NADIA ROBOTTI4,3

                Add to Reading List

                Source URL: prometeo.sif.it

                Language: Italian
                  109Die Kunst, Realität und Fiktion unterscheiden zu können Echt oder erfunden? Pädagogische Hochschule Freiburg, Arbeitsgruppe sum (Schule und Medien) Armin Castello, Benjamin Fauth, Nadia Juga, Martina Pohl

                  Die Kunst, Realität und Fiktion unterscheiden zu können Echt oder erfunden? Pädagogische Hochschule Freiburg, Arbeitsgruppe sum (Schule und Medien) Armin Castello, Benjamin Fauth, Nadia Juga, Martina Pohl

                  Add to Reading List

                  Source URL: www.mkfs.de

                  Language: German - Date: 2015-01-02 02:57:14
                    110Contemporary Culture from the Arab World ABOUT THE MOSAIC ROOMS The Mosaic Rooms are a vibrant non-profit cultural space and bookshop in West London dedicated to supporting and

                    Contemporary Culture from the Arab World ABOUT THE MOSAIC ROOMS The Mosaic Rooms are a vibrant non-profit cultural space and bookshop in West London dedicated to supporting and

                    Add to Reading List

                    Source URL: mosaicrooms.org

                    Language: English - Date: 2015-08-03 11:32:43